大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Internet - Technical Developments and Applications 2 [electronic resource]

0
索取号:
作者:Kapczy艅ski、 Adrian.、Tkacz、 Ewaryst.、Rostanski、 Maciej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Soft Computing [electronic resource] : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part II

0
索取号:
作者:Batyrshin、 Ildar.、Sidorov、 Grigori.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Modeling for Complex Fluids and Flows [electronic resource]

0
索取号:
作者:Deville、 Michel O.、Gatski、 Thomas B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

0
索取号:
作者:Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings

0
索取号:
作者:Liu、 Baoxiang.、Chai、 Chunlai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ways of Thinking, Ways of Seeing [electronic resource] : Mathematical and other Modelling in Engineering and Technology

0
索取号:
作者:Bissell、 Chris.、Dillon、 Chris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

e-Business and Telecommunications [electronic resource] : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers

0
索取号:
作者:Obaidat、 Mohammad S.、Tsihrintzis、 George A.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

0
索取号:
作者:Schreck、 Pascal.、Narboux、 Julien.、Richter-Gebert、 J眉rgen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, S茫o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

0
索取号:
作者:Simao、 Adenilso.、Morgan、 Carroll.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

0
索取号:
作者:Iliopoulos、 Costas S.、Smyth、 William F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

High Performance Networking, Computing, and Communication Systems [electronic resource] : Second International Conference, ICHCC 2011, Singapore, May 5-6, 2011. Selected Papers

0
索取号:
作者:Wu、 Yanwen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theoretical and Mathematical Foundations of Computer Science [electronic resource] : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

0
索取号:
作者:Zhou、 Qihai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011鈥merica, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

0
索取号:
作者:Olken、 Frank.、Palmirani、 Monica.、Sottara、 Davide.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computing Statistics under Interval and Fuzzy Uncertainty [electronic resource] : Applications to Computer Science and Engineering

0
索取号:
作者:Nguyen、 Hung T.、Kreinovich、 Vladik.、Wu、 Berlin.、Xiang、 Gang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

0
索取号:
作者:Kuich、 Werner.、Rahonis、 George.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mobility in Process Calculi and Natural Computing [electronic resource]

0
索取号:
作者:Aman、 Bogdan.、Ciobanu、 Gabriel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.